instant pot gnocchi soup